Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381)
نویسندگان
چکیده
Adjoint Methods in Computational Science, Engineering, and Finance (Dagstuhl Seminar 14371) Nicolas R. Gauger, Michael Giles, Max Gunzburger, and Uwe Naumann . . . . . . . . . 1 Analysis of Algorithms Beyond the Worst Case (Dagstuhl Seminar 14372) Maria-Florina Balcan, Bodo Manthey, Heiko Röglin, and Tim Roughgarden . . . . . . 30 Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381) Artur d’Avila Garcez, Marco Gori, Pascal Hitzler, and Luís C. Lamb . . . . . . . . . . . . . 50 Algebra in Computational Complexity (Dagstuhl Seminar 14391) Manindra Agrawal, Valentine Kabanets, Thomas Thierauf, and Christopher Umans 85 Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401) Bart Preneel, Phillip Rogaway, Mark D. Ryan, and Peter Y. A. Ryan . . . . . . . . . . . . 106 Resilience in Exascale Computing (Dagstuhl Seminar 14402) Hermann Härtig, Satoshi Matsuoka, Frank Mueller, and Alexander Reinefeld . . . . 124
منابع مشابه
Neural-symbolic Integration: Constructive Aproaches for First-Order Logic Programs
From January 20 to 25 2008, the Dagstuhl Seminar 08041 Recurrent Neural NetworksModels, Capacities, and Applications was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as ...
متن کاملExploration and Curiosity in Robot Learning and Inference (Dagstuhl Seminar 11131)
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101) Jürgen Dix, Wojtek Jamroga, and Dov Samet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Computational Geometry (Dagstuhl Seminar 11111) Pankaj Kumar Agarwal, Kurt Mehlhorn, and Monique Teillaud . . . . . . . . . . . . . . . . . . 19 Computational Complexity of Discrete Problems (...
متن کاملSynergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction...
متن کاملSymbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462)
During 11–16 November 2012, the Dagstuhl Seminar 12462 “Symbolic Methods for Chemical Reaction Networks” was held in Schloss Dagstuhl – Leibneiz Center for Informatics. The seminar brought together researchers in symbolic computation, chemical engineering, and systems biology. During the seminar, participants presented five-minute talks introducing their research interests, five participants ga...
متن کاملChallenges in Symbolic Computation Software Dagstuhl Seminar
From 02.07.06 to 07.07.06, the Dagstuhl Seminar 06271 Challenges in Symbolic Computation Software was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of semina...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Dagstuhl Reports
دوره 4 شماره
صفحات -
تاریخ انتشار 2014